منابع مشابه
Type homogeneity is not a restriction for safe recursion schemes
We show that for generating trees, order-n pushdown automata are equivalent to order-n incrementally-bound recursion schemes. This generalizes Knapik et al.’s result about equi-expressivity of pushdown automata and safe (i.e., incrementally-bound and homogeneously-typed) recursion schemes [5]. NB: A proof attempt was presented in a previous version of this note. Broadbent has then obtained a wo...
متن کاملLinearizability Is Not Always a Safety Property
We show that, in contrast to the general belief in the distributed computing community, linearizability, the celebrated consistency property, is not always a safety property. More specifically, we give an object for which it is possible to have an infinite history that is not linearizable, even though every finite prefix of the history is linearizable. The object we consider as a counterexample...
متن کاملConsciousness is not a physically provable property
We present a logical proof that computing machines, and by extension physical systems, can never be certain if they possess conscious awareness. This implies that human consciousness is associated with a violation of energy conservation. We examine the significance that a particular interpretation of quantum mechanics, known as single mind Q (Barrett 1999), might have for the detection of such ...
متن کاملElliptic Elements in a Weyl Group: a Homogeneity Property
Let G be a reductive group over an algebraically closed field whose characteristic is not a bad prime for G. Let w be an elliptic element of the Weyl group which has minimum length in its conjugacy class. We show that there exists a unique unipotent class X in G such that the following holds: if V is the variety of pairs (g,B) where g ∈ X and B is a Borel subgroup such that B, gBg−1 are in rela...
متن کاملHaving the H-space Structure Is Not a Generic Property
In this note, we answer in negative a question posed by McGibbon[7] about the generic property of H-space structure. In fact we verify the conjecture of Roitberg [12]. Incidentally, the same example also answers in negative the open problem 10 in McGibbon[7]
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1984
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1984-0754728-5